Runtime Verification on Robotics Systems

Publisher： IGI Global_journal

E-ISSN： 2166-7209|3|1|23-40

ISSN： 2166-7195

Source： International Journal of Robotics Applications and Technologies (IJRAT), Vol.3, Iss.1, 2015-01, pp. : 23-40

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Runtime verification of service-oriented systems: a well-rounded survey

By Babaee Reza   Babamir Seyed Morteza  

International Journal of Web and Grid Services, Vol. 9, Iss. 3, 2013-08 ,pp. : 213-267

Inderscience Publishers

Access to resources Recommend Favorite

Rewriting-Based Techniques for Runtime Verification

By Roşu Grigore  

Automated Software Engineering, Vol. 12, Iss. 2, 2005-04 ,pp. : 151-197

Springer Publishing Company

Access to resources Recommend Favorite

Integrated static code analysis and runtime verification

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 10, 2015-10 ,pp. : 1359-1373

John Wiley & Sons Inc

Access to resources Recommend Favorite

A Suite of Tools for Debugging Distributed Autonomous Systems: Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).

By Kortenkamp David   Simmons Reid   Milam Tod   Fernández Joaquín L.  

Formal Methods in System Design, Vol. 24, Iss. 2, 2004-03 ,pp. : 157-188

Springer Publishing Company

Access to resources Recommend Favorite

Runtime verification using policy-based approach to control information flow

By Sarrab Mohamed  

International Journal of Security and Networks, Vol. 8, Iss. 4, 2013-12 ,pp. : 212-230

Inderscience Publishers

Access to resources Recommend Favorite