Algebra and models (and reality)
ACM SIGSOFT Software Engineering Notes
Algebra and models (and reality)
ACM SIGSOFT Software Engineering Notes
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Symbolic model checking of Dual Transition Petri Nets
Proceedings of the tenth international symposium on Hardware/software codesign
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |