Sigurd Meldal, David C. Luckham NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. [Citation Graph (0, 0)][DBLP] Requirements Targeting Software and Systems Engineering, 1997, pp:293-329 [Conf]
Michal Walicki, Sigurd Meldal A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1995, v:17, n:2, pp:366-393 [Journal]
An object-oriented approach to formal specification of reactive systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP