tiziana margaria
Formal Methods for Industrial Critical Systems
DigitalSofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
Formal Methods for Industrial Critical Systems
DigitalSofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
TaschenbuchPrint on DemandThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
TaschenbuchPrint on DemandThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
TaschenbuchPrint on DemandThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...
Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
TaschenbuchPrint on DemandThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...
Leveraging Applications of Formal Methods, Verification and Validation
TaschenbuchPrint on DemandInhaltsangabeAdaptable and Evolving Software for Eternal Systems (Track Summary).- Challenges in ...
Leveraging Applications of Formal Methods, Verification and Validation
TaschenbuchPrint on DemandInhaltsangabeLinux Driver Verification (Position Paper).- Bioscientific Data Processing and Model...
Semantic Web Services Challenge
TaschenbuchPrint on DemandInhaltsangabeto the First Year of the Semantic Web Services Challenge.- SWS Challenge Scenarios.-...
Leveraging Applications of Formal Methods, Verification and Validation
TaschenbuchPrint on DemandThis volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...