Publikationen
156 Einträge
2010
-
The Credo methodology (extended version), 2010, Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Boer, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (Hrsg.). Springer-Verlag, S. 41-69, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2009
-
Symbolic model checking for channel-based component connectors, 1 Juli 2009, in: Science of Computer Programming. 74, 9, S. 688-701, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Uniform Framework for Modeling and Verifying Components and Connectors, 2009, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Proceedings. Field, J. & Vasconcelos, V. T. (Hrsg.). Springer Berlin / Heidelberg, S. 247-267, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Formal Verification for Components and Connectors, 2009, Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. Boer, F. S., Bonsangue, M. M. & Madelaine, E. (Hrsg.). Springer Berlin / Heidelberg, S. 82-101, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2008
-
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), 12 Dez. 2008, Elsevier Science B.V., 199 S.Publikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Principles of Model Checking, 2008, Neuerscheinung Aufl., Cambridge, 975 S.Publikation: Buch/Gutachten/Sammelbände > Monographie
Diese Informationen werden durch das FIS bereitgestellt.