( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalization and assessment of regulatory requirements for safety-critical software.

, , и . ISSE, 2 (3-4): 165-178 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jitendra Lal Ghose

Aditya Aryasomayajula

Aditya Devarakonda

Aditya Kumar

Amithaba Ghose

 

Другие публикации лиц с тем же именем

Dynamic Coalition in Agent Aware Adhoc Virtual P2P Interconnect Grid Computing System - A3PVIGRID., , , , и . ICEIS (4), стр. 170-175. (2005)CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)., и . ACSC, том 48 из CRPIT, стр. 121-126. Australian Computer Society, (2006)Agent-Based Prototyping of Web-Based Systems., , , и . IEA/AIE, том 4031 из Lecture Notes in Computer Science, стр. 780-789. Springer, (2006)Combining i* and BPMN for Business Process Model Lifecycle Management., , , , и . Business Process Management Workshops, том 4103 из Lecture Notes in Computer Science, стр. 416-427. Springer, (2006)Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements., и . PROFES, том 3009 из Lecture Notes in Computer Science, стр. 523-537. Springer, (2004)Analyzing Topics and Trends in the PRIMA Literature., и . PRIMA, том 9862 из Lecture Notes in Computer Science, стр. 216-229. Springer, (2016)Formal Tools for Managing Inconsistency and Change in RE.. IWSSD, стр. 171-182. IEEE Computer Society, (2000)Who Will Answer My Question on Stack Overflow?, , , , и . ASWEC, стр. 155-164. IEEE Computer Society, (2015)Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT., , , и . Australian Conference on Artificial Intelligence, том 4830 из Lecture Notes in Computer Science, стр. 202-212. Springer, (2007)Mining Process Task Post-Conditions., , , и . ER, том 9381 из Lecture Notes in Computer Science, стр. 514-527. Springer, (2015)