Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319415789, 9783319415796
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hybrid Lustre

2016 ◽  
pp. 325-340
Author(s):  
Zhenghen Yuan ◽  
Tingliang Zhou ◽  
Jing Liu ◽  
Juan Luo ◽  
Yi Zhang ◽  
...  

Using Refinement in Formal Development of OS Security Model

2016 ◽  
pp. 107-115
Author(s):  
Petr N. Devyanin ◽  
Alexey V. Khoroshilov ◽  
Victor V. Kuliamin ◽  
Alexander K. Petrenko ◽  
Ilya V. Shchepetkov
Keyword(s):  
Security Model ◽  
Formal Development

Relaxed Parsing of Regular Approximations of String-Embedded Languages

2016 ◽  
pp. 291-302 ◽  
Author(s):  
Ekaterina Verbitskaia ◽  
Semyon Grigorev ◽  
Dmitry Avdyukhin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document