Publikációk

Export 29 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: Az Utónév Első Betűje = N  [Minden szűrő visszaállítása]
Book Chapter
Németh, E., and Bartha, T., "Formal verification of function block based specifications of safety-critical software", Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
Bartha, T., and Német, E., "Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications", Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8