^^PAGEHEADLINE ^^
-
Formal Methods and Testing
Springer Verlag GmbH 08.04.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...
-
Testing of Communicating Systems
Springer Verlag GmbH 02.03.2004 - 2004Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeImplementation of an Open Source Toolset for CCM Components and Systems Testing.- A ...
-
Software Engineering and Formal Methods
Springer Verlag GmbH 12.09.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeVerifying MARTE CCSL Mode Behaviors Using UPPAAL.- A Transformation Approach for Mul...
-
Testing Software and Systems
Springer Verlag GmbH 07.09.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Theoretical Aspects of Computing - ICTAC 2019
Springer Verlag GmbH 26.10.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...
- 1