Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
Journal
Overview
Identifiers
View All
Overview
publication venue for
Developing Deep Neural Net Controllers to Assure System Stability with Non-Zero Equilibrium Points
2024
Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets
2022
A systematic approach for developing cyber physical systems
2018
Modeling and analyzing hybrid systems using hybrid predicate transition nets
2018
A framework for developing cyber physical systems
2017
A method to analyze high level petri nets using SPIN model checker
2017
Foreword
2017
Implementing and evaluating scrum in computer science senior projects
2017
Modeling and analyzing security patterns using high level petri nets
2016
A feature-based tool-selection classification for agile software development
2015
PIPE+Verifier - A tool for analyzing high level Petri nets
2015
Pattern-based Decentralization and run-time adaptation framework for multi-site workflow orchestrations
2013
Identifiers
International Standard Serial Number (ISSN)
2325-9000
Electronic International Standard Serial Number (EISSN)
2325-9086
