相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Specification and automatic verification of trust-based multi-agent systems
Nagat Drawel et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2020)
WSN Design and Verification Using On-Board Executable Specifications
Salvatore Gaglio et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2019)
A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices
Salvatore Gaglio et al.
2019 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC) (2019)
Domain-specific languages in PROLOG for declarative expert knowledge in rules and ontologies
Dietmar Seipel et al.
COMPUTER LANGUAGES SYSTEMS & STRUCTURES (2018)
Intelligent Personal Assistants Based on Internet of Things Approaches
Joao Santos et al.
IEEE SYSTEMS JOURNAL (2018)
Velox VM: A safe execution environment for resource-constrained IoT applications
Nicolas Tsiftes et al.
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS (2018)
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi et al.
ACM TRANSACTIONS ON SENSOR NETWORKS (2018)
DC4CD: A Platform for Distributed Computing on Constrained Devices
Salvatore Gaglio et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2018)
Major requirements for building Smart Homes in Smart Cities based on Internet of Things technologies
Terence K. L. Hui et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2017)
Smart City and IoT
Tai-hoon Kim et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2017)
Structural Health Monitoring Framework Based on Internet of Things: A Survey
C. Jr. Arcadius Tokognon et al.
IEEE INTERNET OF THINGS JOURNAL (2017)
High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards
Pablo Penil et al.
ACM TRANSACTIONS ON SENSOR NETWORKS (2017)
Almond: The Architecture of an Open, Crowdsourced, Privacy-Preserving, Programmable Virtual Assistant
Giovanni Campagna et al.
PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON WORLD WIDE WEB (WWW'17) (2017)
A Comparative Study of Recent Wireless Sensor Network Simulators
Ivan Minakov et al.
ACM TRANSACTIONS ON SENSOR NETWORKS (2016)
A semantic approach for automated test oracle generation
Hai-Feng Guo
COMPUTER LANGUAGES SYSTEMS & STRUCTURES (2016)
Logic-based modeling of information transfer in cyber-physical multi-agent systems
Christian Kroiss et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2016)
Terra: Flexibility and Safety in Wireless Sensor Networks
Adriano Branco et al.
ACM TRANSACTIONS ON SENSOR NETWORKS (2015)
Design Techniques and Applications of Cyberphysical Systems: A Survey
Siddhartha Kumar Khaitan et al.
IEEE SYSTEMS JOURNAL (2015)
Enabling high-level application development for the Internet of Things
Pankesh Patel et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2015)
Formal verification and validation of embedded systems: the UML-based MADES approach
Luciano Baresi et al.
SOFTWARE AND SYSTEMS MODELING (2015)
Environment modeling and simulation for automated testing of soft real-time embedded software
Muhammad Zohaib Iqbal et al.
SOFTWARE AND SYSTEMS MODELING (2015)
Runtime verification of embedded real-time systems
Thomas Reinbacher et al.
FORMAL METHODS IN SYSTEM DESIGN (2014)
An approach to testing commercial embedded systems
Tingting Yu et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2014)
Using SPIN for automated debugging of infinite executions of Java programs
Damian Adalid et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2014)
An Empirical Analysis of Test Oracle Strategies for Model-based Testing
Nan Li et al.
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) (2014)
A Virtual Machine for the Insense Language
Callum Cameron et al.
2013 INTERNATIONAL CONFERENCE ON MOBILE WIRELESS MIDDLEWARE, OPERATING SYSTEMS AND APPLICATIONS (MOBILWARE 2013) (2013)
Automated Test Case Generation for Embedded Software Using Extended Interface Automata
Chao Zhang et al.
2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC) (2013)
T-Res: enabling reconfigurable in-network processing in IoT-based WSNs
Daniele Alessandrelli et al.
2013 9TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2013) (2013)
Modeling Cyber-Physical Systems
Patricia Derler et al.
PROCEEDINGS OF THE IEEE (2012)
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Malte Lochau et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2010)
Bytecode fault injection for Java software
Sudipto Ghosh et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2008)