Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicolas Daclin
Formalisation and Verification of Interoperation Requirements on Collaborative Processes
IFAC Proceedings Volumes
Related publications
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
Cybernetics and Information Technologies
Computer Science
Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors
International Journal of Cooperative Information Systems
Computer Science Applications
Information Systems
Collaborative Requirements Review
International Journal of Engineering and Technology(UAE)
Architecture
Hardware
Engineering
Chemical Engineering
Biotechnology
Environmental Engineering
Computer Science
An Organisational Perspective on Collaborative Business Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supporting the Collaborative Development of Requirements and Architecture Documentation
Collaborative Working: Understanding Mobile Applications Requirements
On the Formalisation of $$\varSigma $$ -Protocols and Commitment Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Functional and Non-Functional Requirements of Web Service Composition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparative Assessment of Collaborative Business Process Verification Approaches
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
