المؤلفون: Fersman, E., Pettersson, Paul, 1902

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :12-17

مصطلحات موضوعية: Cyber-physical Systems, Embedded Systems, Model-checking, Modelling, Real-time Scheduling, Real-time Systems, UPPAAL, Cyber Physical System, Interactive computer systems, Model checking, Real time systems, Cybe-physical systems, Embedded-system, Martial art, Modeling, Models checking, Real - Time system, Real time scheduling, Teachers'

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-68993

المؤلفون: Nascimento, A. M., Vismari, L. F., Molina, C. B. S. T., Cugnasca, P. S., Camargo Jr., J. B., Almeida Jr., J. R. de, Inam, R., Fersman, E., Marquezini, M. V., Hata, A. Y.

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1904.02697

المؤلفون: Vismari, L.F., Molina, C.B.S.T., Camargo, J.B., Almeida, J.R., Inam, R., Fersman, E., Marquezini, M.V.

المصدر: Safety and Reliability – Safe Societies in a Changing World ; page 2067-2075 ; ISBN 9781351174664

الاتاحة: http://dx.doi.org/10.1201/9781351174664-260

المؤلفون: Feljan, Juraj, Karapantelakis, A., Mokrushin, L., Inam, R., Fersman, E., Azevedo, C. R. B., Raizer, K., Souza, R. S.

المصدر: Ericsson Technology Review. 95(2):60-69

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-37191

المؤلفون: Molina, C. B. S. T., Vismari, L. F., Fuji, T., Camargo, J. B., de Almeida, J. R., Inam, R., Fersman, E., Hata, A., Marquezini, M. V.

المصدر: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 353-364 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319992280 9783319992297

الاتاحة: http://dx.doi.org/10.1007/978-3-319-99229-7_30
http://link.springer.com/content/pdf/10.1007/978-3-319-99229-7_30

المؤلفون: Nascimento, A. M., Vismari, L. F., Cugnasca, P. S., Camargo, J. B., de Almeida, J. R., Inam, R., Fersman, E., Hata, A., Marquezini, M. V.

المصدر: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 481-486 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319992280 9783319992297

الاتاحة: http://dx.doi.org/10.1007/978-3-319-99229-7_42
http://link.springer.com/content/pdf/10.1007/978-3-319-99229-7_42

المؤلفون: Amnell, T., Fersman, E., Pettersson, P., Sun, Hong Yan, Wang, Y.

المصدر: Amnell , T , Fersman , E , Pettersson , P , Sun , H Y & Wang , Y 2002 , ' Code Synthesis For Timed Automata ' , Nordic Journal of Computing , vol. 9 , no. 4 , pp. 269-300 .

الاتاحة: https://orbit.dtu.dk/en/publications/41eda400-57a4-4cd5-bd79-01129bec55f2

المؤلفون: Amnell T, Fersman E, Mokrushin L, Pettersson P and Yi W

مصطلحات الفهرس: Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-47756
To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS'03, p.

المؤلفون: Fersman E, Mokrushin L, Pettersson P, Yi W.

مصطلحات الفهرس: Report, info:eu-repo/semantics/report, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-45611
Technical Report,

المؤلفون: Vismari, L. F., Molina, C. B. S. T., Camargo, J. B., Almeida, J. R., Inam, R., Fersman, E., Maria Marquezini

المصدر: Scopus-Elsevier

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9bc026bdeec05b0d8d30415b1da073bc
http://www.scopus.com/inward/record.url?eid=2-s2.0-85053863985&partnerID=MN8TOARS