5 Matching Annotations
  1. Mar 2021
  2. en.wikipedia.org en.wikipedia.org
    TLA+ - Wikipedia
    1
    1. TylerRick 30 Mar 2021
      temporal logic of actions TLA+
    Visit annotations in context

    Tags

    Annotators

    URL

    en.wikipedia.org/wiki/TLA+
  3. Jul 2020
  4. lamport.azurewebsites.net lamport.azurewebsites.net
    The TLA+ Home Page
    1
    1. gabeguz 28 Jul 2020
      TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.

      Need to look more into TLA+ and formal verification with regards to software development.

      programming software TLA+ formal methods
    Visit annotations in context

    Tags

    Annotators

    URL

    lamport.azurewebsites.net/tla/tla.html
  5. Apr 2019
  6. learntla.com learntla.com
    Introduction :: Learn TLA+
    1
    1. kael 15 Apr 2019
      tla+ spec
    Visit annotations in context

    Tags

    Annotators

    URL

    learntla.com/introduction/
  7. Aug 2015
  8. www.adlnet.gov www.adlnet.gov
    Advanced Distributed Learning Initiative: Training & Learning Architecture (TLA)
    2
    1. BigBlueHat 14 Aug 2015
      The TLA components align with 4 key concepts: experience tracking, learner profiles, content brokering and understanding, and competency networks.
      TLA xAPI education
    2. BigBlueHat 14 Aug 2015
      The Training and Learning Architecture (TLA) encompasses a set of standardized Web service specifications and Open Source Software (OSS) designed to create a rich environment for connected training and learning.
      TLA xAPI open source Web service education
    Visit annotations in context

    Tags

    Annotators

    URL

    adlnet.gov/capabilities/next-generation-scorm.html