• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Formal Modeling Framewoks
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "formal modeling framewoks"

    • Status: Free Trial
      Free Trial
      C

      Cisco Learning and Certifications

      Introducing Model-Driven Programmability

      Skills you'll gain: Software-Defined Networking, YAML, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API), Computer Programming Tools

      4.8
      Rating, 4.8 out of 5 stars
      ·
      13 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      Status: Free
      Free
      D

      DeepLearning.AI

      Prompt Engineering for Vision Models

      Skills you'll gain: Prompt Engineering, Generative AI, Image Analysis, Large Language Modeling, Computer Vision, AI Personalization, Applied Machine Learning

      Beginner · Project · Less Than 2 Hours

    • Status: Free Trial
      Free Trial
      M

      Meta

      Advanced Data Modeling

      Skills you'll gain: MySQL Workbench, Extract, Transform, Load, Data Modeling, Database Design, MySQL, Data Warehousing, Database Management, Databases, Relational Databases, Database Architecture and Administration, Advanced Analytics, Data Analysis, Data Visualization Software

      4.3
      Rating, 4.3 out of 5 stars
      ·
      103 reviews

      Intermediate · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (3): Requirements by modal formulas

      Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Theoretical Computer Science

      4.5
      Rating, 4.5 out of 5 stars
      ·
      13 reviews

      Advanced · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (4): Modelling Software, Protocols, and other behaviour

      Skills you'll gain: Systems Analysis, Verification And Validation, Systems Design, Data Modeling, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms, Data Management

      4.6
      Rating, 4.6 out of 5 stars
      ·
      13 reviews

      Advanced · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of Pennsylvania

      Wharton Business and Financial Modeling Capstone

      Skills you'll gain: Portfolio Management, Financial Modeling, Presentations, Microsoft PowerPoint, Investment Management, Business Modeling, Data Modeling, Business Analytics, Risk Modeling, Microsoft Excel, Financial Analysis, Regression Analysis

      4.5
      Rating, 4.5 out of 5 stars
      ·
      511 reviews

      Mixed · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      I

      Icahn School of Medicine at Mount Sinai

      Dynamical Modeling Methods for Systems Biology

      Skills you'll gain: Matlab, Mathematical Modeling, Differential Equations, Computational Logic, Applied Mathematics, Molecular Biology, Simulations, Statistical Modeling, Biochemistry, Biology, Probability, Electrical Systems

      4.7
      Rating, 4.7 out of 5 stars
      ·
      220 reviews

      Mixed · Course · 1 - 3 Months

    • E

      EIT Digital

      Quantitative Model Checking

      Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Real-Time Operating Systems, Probability Distribution

      4.2
      Rating, 4.2 out of 5 stars
      ·
      53 reviews

      Intermediate · Course · 1 - 3 Months

    • P

      Packt

      Hands-on with Cisco Modeling Labs 2 (CML2)

      Skills you'll gain: VMware ESX Servers, Virtual Local Area Network (VLAN), Network Model, Software Installation, Command-Line Interface, Network Routers, Virtualization, Network Troubleshooting, Local Area Networks, Virtual Environment, General Networking, System Configuration, Simulations, Remote Access Systems, Application Programming Interface (API), System Requirements, Graphical Tools

      Intermediate · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (2): Model process behaviour

      Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Mathematical Modeling, Programming Principles, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms

      4.1
      Rating, 4.1 out of 5 stars
      ·
      10 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      Status: Free Trial
      Free Trial
      D

      Dassault Systèmes

      xDesign Assemblies and Exam Level Part Modeling

      Skills you'll gain: SolidWorks (CAD), Assembly Drawing, 3D Modeling, Engineering Drawings, Computer-Aided Design, Mechanical Design, Mechanical Engineering

      5
      Rating, 5 out of 5 stars
      ·
      7 reviews

      Beginner · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of Minnesota

      Introduction to Predictive Modeling

      Skills you'll gain: Time Series Analysis and Forecasting, Predictive Modeling, Regression Analysis, Microsoft Excel, Forecasting, Pivot Tables And Charts, Data Transformation, Trend Analysis, Predictive Analytics, Data Cleansing, Statistical Methods, Performance Metric

      4.8
      Rating, 4.8 out of 5 stars
      ·
      137 reviews

      Mixed · Course · 1 - 4 Weeks

    1…678…259

    In summary, here are 10 of our most popular formal modeling framewoks courses

    • Introducing Model-Driven Programmability: Cisco Learning and Certifications
    • Prompt Engineering for Vision Models: DeepLearning.AI
    • Advanced Data Modeling: Meta
    • System Validation (3): Requirements by modal formulas: EIT Digital
    • System Validation (4): Modelling Software, Protocols, and other behaviour: EIT Digital
    • Wharton Business and Financial Modeling Capstone: University of Pennsylvania
    • Dynamical Modeling Methods for Systems Biology: Icahn School of Medicine at Mount Sinai
    • Quantitative Model Checking: EIT Digital
    • Hands-on with Cisco Modeling Labs 2 (CML2): Packt
    • System Validation (2): Model process behaviour: EIT Digital

    Other topics to explore

    Arts and Humanities
    338 courses
    Business
    1095 courses
    Computer Science
    668 courses
    Data Science
    425 courses
    Information Technology
    145 courses
    Health
    471 courses
    Math and Logic
    70 courses
    Personal Development
    137 courses
    Physical Science and Engineering
    413 courses
    Social Sciences
    401 courses
    Language Learning
    150 courses

    Coursera Footer

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    Coursera

    • About
    • What We Offer
    • Leadership
    • Careers
    • Catalog
    • Coursera Plus
    • Professional Certificates
    • MasterTrack® Certificates
    • Degrees
    • For Enterprise
    • For Government
    • For Campus
    • Become a Partner
    • Social Impact
    • Free Courses
    • ECTS Credit Recommendations

    Community

    • Learners
    • Partners
    • Beta Testers
    • Blog
    • The Coursera Podcast
    • Tech Blog

    More

    • Press
    • Investors
    • Terms
    • Privacy
    • Help
    • Accessibility
    • Contact
    • Articles
    • Directory
    • Affiliates
    • Modern Slavery Statement
    • Do Not Sell/Share
    Learn Anywhere
    Download on the App Store
    Get it on Google Play
    Logo of Certified B Corporation
    © 2025 Coursera Inc. All rights reserved.
    • Coursera Facebook
    • Coursera Linkedin
    • Coursera Twitter
    • Coursera YouTube
    • Coursera Instagram
    • Coursera TikTok