المؤلفون: Blom, Johan, Hessel, Anders, Jonsson, Bengt, Pettersson, Paul

المصدر: Proceeding of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS 3395, Springer. :125-139

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-95842Test

المؤلفون: Hessel, Anders, Larsen, Kim G., Nielsen, Brian, Pettersson, Paul, Skou, Arne

المصدر: Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), LNCS 2931, Springer. :136-151

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-95840Test

المؤلفون: Hessel, Anders, Pettersson, Paul

المصدر: Proceedings of the 9th International Conference on Quality Software 2004 (QSIC04), IEEE Computer Society Press. :268-273

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-95841Test

المؤلفون: Behrmann, Gerd, Fehnker, Ansgar, Hune, Thomas S., Larsen, Kim G., Pettersson, Paul, Romijn, Judi, Vaandrager, Frits W.

المصدر: BRICS Report Series; No 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata
BRICS Report Series; Nr. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata

مصطلحات موضوعية: Computer Science::Formal Languages and Automata Theory

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1137e462f303167e294a7c3a5cba49e6Test
https://doi.org/10.7146/brics.v8i3.20457Test

المؤلفون: Bengtsson, Johan, Larsen, Kim G., Larsson, Fredrik, Pettersson, Paul, Yi, Wang

المصدر: BRICS Report Series; No 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
BRICS Report Series; Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cc221085db72e9d927f5570f971e627Test
https://doi.org/10.7146/brics.v3i58.18769Test

المؤلفون: Hessel, Anders, Pettersson, Paul

المصدر: Technical Report , (Extended version of a paper with the same name published in Brim L., Haverkort B., Leucker M., and van der Pol J., editors, Formal Methods: Applications and Technology, FMICS 2006 and PDMC 2006, LNCS 4346, pages , Springer 2007.).

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-95844Test

المؤلفون: Ulrik Nyman, Kim Guldstrand Larsen, Andrzej Wasowski

المساهمون: Pettersson, Paul, Yi, Wang

المصدر: Aalborg University
Larsen, U, Larsen, K G & Wasowski, A 2004, Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs . in P Pettersson & W Yi (eds), Proceedings of the 16th Nordic Workshop on Programming Theory : Technical report . 2004-041 edn, Uppsala Sweden, pp. 22-24, Nordic Workshop on Programming Theory, Uppsala, Sweden, 06/10/2004 . < http://www.it.uu.se/research/reports/2004-041Test/ >

مصطلحات موضوعية: software product lines, reactive systems, simulation

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2d0b2bbd064e832e6e98e67fd15ebc8dTest
http://vbn.aau.dk/en/publications/colorblind-behavioral-specifications-for-transformations-of-reactive-synchronous-programsTest(a331c7b0-003b-11da-b4d5-000ea68e967b).html