Chavan, Shrawan R.
60  Ergebnisse:
Personensuche X
?
2

VeriAbsL: Scalable Verification by Abstraction and Strategy..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
3

Screening of onion (Allium cepa) genotypes to find out nove..:

CHAUHAN, S S A ; ISLAM, SABINA ; PRASAD, LAKSHMAN...
The Indian Journal of Agricultural Sciences.  93 (2023)  11 - p. , 2023
 
?
4

Andaman's Indigenous and Exotic Vegetables for Nutrition an..:

, In: Vegetables for Nutrition and Entrepreneurship,
Singh, Shrawan ; Singh, D. R. - p. 241-277 , 2023
 
?
5

Automated Validation of Insurance Applications against Calc..:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Datar, Advaita ; Zare, Amey ; A, Asia... - p. 55-60 , 2022
 
?
7

Fast Analysis of Evolving Software Systems:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
 
?
12

Fast Change-Based Alarm Reporting for Evolving Software Sys..:

, In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE),
 
?
14

VeriAbs : Verification by Abstraction and Test Generation (..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
15

A Supervisory Control Scheme for Efficient Power Management..:

, In: 2020 IEEE First International Conference on Smart Technologies for Power, Energy and Control (STPEC),
 
1-15