Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
VeriAbsL: Scalable Verification by Abstraction and Strategy..:
, In:
?
Vegetables for Nutrition and Entrepreneurship ,
4
Andaman's Indigenous and Exotic Vegetables for Nutrition an..:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
5
Automated Validation of Insurance Applications against Calc..:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
7
Fast Analysis of Evolving Software Systems:
, In:
?
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) ,
12
Fast Change-Based Alarm Reporting for Evolving Software Sys..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14
VeriAbs : Verification by Abstraction and Test Generation (..:
, In:
?
2020 IEEE First International Conference on Smart Technologies for Power, Energy and Control (STPEC) ,
15