Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Attiogbé
Integration of Formal Datatypes Within State Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Holistic Debugging of MPI Derived Datatypes
Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
When Do Datatypes Commute?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Legislation by Using UML State Machine Diagrams
Equations of State and Diagrams of Two-Dimensional Liquid Dusty Plasmas
Physics of Plasmas
Condensed Matter Physics
Feature Integration Within Discrete Time Windows
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
A Critical Review of Mobile Learning Integration in Formal Educational Contexts
International Journal of Educational Technology in Higher Education
E-learning
Computer Science Applications
Education
How Online Journalists Learn Within a Non-Formal Context
Journal of Workplace Learning
Development
Social Psychology
Human Resource Management
Organizational Behavior