A Survey: Applying Formal Methods to a Software Intensive System

Authors:
Adriaan de Groot;Jozef Hooman;Fabrice Kordon;Emmanuel Paviot-Adet;Isabelle Vernier-Mounier;M. Lemoine;G. Gaudiere;Victor L. Winter;Deepak Kapur
Affiliations:
-;-;-;-;-;-;-;-;-
Venue:
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
Year:
2001

Algorithm of Translation of MSC-specified System into Petri Net

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Efficient state-based analysis by introducing bags in Petri nets color domains

ACC'09 Proceedings of the 2009 conference on American Control Conference
Optimized colored nets unfolding

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Algorithm of Translation of MSC-specified System into Petri Net

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

Hi-index	0.00